English lambda matrix: переклад на інші мови